<header> ID do editor </header> O ID interno usado pelo Webmin para este editor de arquivo. É útil saber ao conceder acesso ao editor para usuários selecionados do Usermin. <p><hr>